Armando Tacchella: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || An Extensible SAT-solver

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 600 KB

english, 2004

2

Learning middleware models for verification of distributed control programs

Khalili, Ali, Narizzano, Massimo, Natale, Lorenzo, Tacchella, Armando

Journal:

Robotics and Autonomous Systems

Year:

2017

Language:

english

File:

PDF, 638 KB

english, 2017

3

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics

Leofante, Francesco, Ábrahám, Erika, Niemueller, Tim, Lakemeyer, Gerhard, Tacchella, Armando

Journal:

Information Systems Frontiers

Year:

2018

Language:

english

File:

PDF, 2.44 MB

english, 2018

4

[IEEE 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Portland, OR, USA (2019.11.4-2019.11.6)] 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Automating Elevator Design with Satisfiability Modulo Theories

Demarchi, Stefano, Menapace, Marco, Tacchella, Armando

Year:

2019

Language:

english

File:

PDF, 5.35 MB

english, 2019

5

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

Claudio Castellini, Enrico Giunchiglia, Armando Tacchella

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 460 KB

english, 2003

6

Backjumping for Quantified Boolean Logic satisfiability

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 221 KB

english, 2003

7

Towards an Efficient Library for SAT: a Manifesto

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 886 KB

2001

8

[IEEE 2015 IEEE/ACM 10th International Workshop on Automation of Software Test (AST) - Florence, Italy (2015.5.23-2015.5.24)] 2015 IEEE/ACM 10th International Workshop on Automation of Software Test - Automatic Test-Pattern Generation for Grey-Box Programs

Khalili, Ali, Narizzano, Massimo, Tacchella, Armando, Giunchiglia, Enrico

Year:

2015

Language:

english

File:

PDF, 229 KB

english, 2015

9

[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Conditional Behavior Trees: Definition, Executability, and Applications

Giunchiglia, Eleonora, Colledanchise, Michele, Natale, Lorenzo, Tacchella, Armando

Year:

2019

Language:

english

File:

PDF, 4.47 MB

english, 2019

10

NeVer: a tool for artificial neural networks verification

Luca Pulina, Armando Tacchella

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 520 KB

english, 2011

11

A self-adaptive multi-engine solver for quantified Boolean formulas

Luca Pulina, Armando Tacchella

Journal:

Year:

2009

Language:

english

File:

PDF, 651 KB

english, 2009

12

A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics

Enrico Giunchiglia, Armando Tacchella

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 190 KB

english, 2001

13

SAT-Based Decision Procedures for Classical Modal Logics

Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 326 KB

english, 2002

14

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || SAT Based Predicate Abstraction for Hardware Verification

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 247 KB

english, 2004

15

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || Width-Based Algorithms for SAT and CIRCUIT-SAT

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 178 KB

english, 2004

16

Quantifier Structure in Search-Based Procedures for QBFs

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2007

Language:

english

File:

PDF, 472 KB

english, 2007

17

Ontology-based data access: An application to intermodal logistics

Casu, Matteo, Cicala, Giuseppe, Tacchella, Armando

Journal:

Information Systems Frontiers

Year:

2013

Language:

english

File:

PDF, 1.63 MB

english, 2013

18

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || Effective Preprocessing with Hyper-Resolution and Equality Reduction

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 240 KB

english, 2004

19

SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation

Giunchiglia, Enrico, Sebastiani, Roberto, Giunchiglia, Fausto, Tacchella, Armando

Journal:

Journal of Applied Non-Classical Logics

Year:

2000

Language:

english

File:

PDF, 1.42 MB

english, 2000

20

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub

Pathak, Shashank, Pulina, Luca, Metta, Giorgio, Tacchella, Armando

Year:

2013

Language:

english

File:

PDF, 933 KB

english, 2013

21

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || The Combinatorics of Conflicts between Clauses

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 278 KB

english, 2004

22

[IEEE 2010 IEEE International Conference on Robotics and Automation (ICRA 2010) - Anchorage, AK (2010.05.3-2010.05.7)] 2010 IEEE International Conference on Robotics and Automation - Safe and effective learning: A case study

Metta, Giorgio, Natale, Lorenzo, Pathak, Shashank, Pulina, Luca, Tacchella, Armando

Year:

2010

Language:

english

File:

PDF, 763 KB

english, 2010

23

[IEEE 2014 IEEE International Conference on Systems, Man and Cybernetics - SMC - San Diego, CA, USA (2014.10.5-2014.10.8)] 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Is verification a requisite for safe adaptive robots?

Pathak, Shashank, Metta, Giorgio, Tacchella, Armando

Year:

2014

Language:

english

File:

PDF, 233 KB

english, 2014

24

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 252 KB

english, 2004

25

Evaluating probabilistic model checking tools for verification of robot control policies

Pathak, Shashank, Pulina, Luca, Tacchella, Armando, Mancini, Toni, Maratea, Marco, Ricca, Francesco

Journal:

AI Communications

Year:

2016

Language:

english

File:

PDF, 226 KB

english, 2016

26

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows

Marin, Paolo, Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Giunchiglia, Enrico, Bistarelli, Stefano, Formisano, Andrea, Maratea, Marco, Torroni, Paolo

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 1.55 MB

english, 2016

27

[IEEE 2016 IEEE 16th International Conference on Advanced Learning Technologies (ICALT) - Austin, TX, USA (2016.7.25-2016.7.28)] 2016 IEEE 16th International Conference on Advanced Learning Technologies (ICALT) - Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics

Oreggia, Marco, Chiorri, Carlo, Pozzi, Francesca, Tacchella, Armando

Year:

2016

Language:

english

File:

PDF, 116 KB

english, 2016

28

Verification and repair of control policies for safe reinforcement learning

Pathak, Shashank, Pulina, Luca, Tacchella, Armando

Journal:

Applied Intelligence

Year:

2017

Language:

english

File:

PDF, 2.16 MB

english, 2017

29

[IEEE 2017 IEEE International Conference on Information Reuse and Integration (IRI) - San Diego, CA (2017.8.4-2017.8.6)] 2017 IEEE International Conference on Information Reuse and Integration (IRI) - On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories

Leofante, Francesco, Abraham, Erika, Niemueller, Tim, Lakemeyer, Gerhard, Tacchella, Armando

Year:

2017

Language:

english

File:

PDF, 316 KB

english, 2017

30

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || Read-Once Unit Resolution

Giunchiglia, Enrico, Tacchella, Armando

Year:

2004

Language:

english

File:

PDF, 220 KB

english, 2004

31

Improving Reliability of Myocontrol Using Formal Verification

Guidotti, Dario, Leofante, Francesco, Tacchella, Armando, Castellini, Claudio

Journal:

IEEE Transactions on Neural Systems and Rehabilitation Engineering

Year:

2019

Language:

english

File:

PDF, 33 KB

english, 2019

32

Property specification patterns at work: verification and inconsistency explanation

Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone

Journal:

Innovations in Systems and Software Engineering

Year:

2019

Language:

english

File:

PDF, 1.69 MB

english, 2019

33

Social Cognitive Systems in Smart Environments: Approaches for Learning, Reasoning, and Adaptation

Aly, Amir, Pathak, Shashank, Andrist, Sean, Tacchella, Armando

Journal:

Cognitive Systems Research

Year:

2019

Language:

english

File:

PDF, 261 KB

english, 2019

34

[IEEE 2019 11th International Conference on Cyber Conflict (CyCon) - Tallinn, Estonia (2019.5.28-2019.5.31)] 2019 11th International Conference on Cyber Conflict (CyCon) - Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures

Murino, Giuseppina, Armando, Alessandro, Tacchella, Armando

Year:

2019

Language:

english

File:

PDF, 57 KB

english, 2019

35

Social Cognitive Systems in Smart Environments: Approaches for Learning, Reasoning, and Adaptation

Aly, Amir, Pathak, Shashank, Andrist, Sean, Tacchella, Armando

Journal:

Cognitive Systems Research

Year:

2019

File:

PDF, 261 KB

2019

36

[IEEE 2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) - Montreal, QC, Canada (2019.5.28-2019.5.28)] 2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) - Automata Based Test Generation with SpecPro

Vuotto, Simone, Narizzano, Massimo, Pulina, Luca, Tacchella, Armando

Year:

2019

Language:

english

File:

PDF, 117 KB

english, 2019

37

Parallel SAT Solving using Bit-level Operations1

Heule, Marijn, van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 416 KB

2008

38

2006 and 2007 Max-SAT Evaluations: Contributed Instances

Heras, Federico, Larrosa, Javier, de Givry, Simon, Schiex, Thomas, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 302 KB

2008

39

A Switching Criterion for Intensification and Diversification in Local Search for SAT12

Wei, Wanxia, Li, Chu Min, Zhang, Harry, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 500 KB

2008

40

Guest Editors Conclusion

Speckenmeyer, Ewald, Tacchella, Armando, Manquinho, Vasco, Li, Chu Min, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 55 KB

2008

41

PicoSAT Essentials

Biere, Armin, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 689 KB

2008

42

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis1

Pipatsrisawat, Knot, Palyan, Akop, Chavira, Mark, Choi, Arthur, Darwiche, Adnan, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 708 KB

2008

43

Whose side are you on?1

Heule, Marijn J.H., van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 1.41 MB

2008

44

tts: A SAT-Solver for Small, Difficult Instances

Spence, Ivor, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 386 KB

2008

45

AQMEâ10

Pulina, Luca, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2010

File:

PDF, 660 KB

2010

46

Report of the Third QBF Solvers Evaluation1

Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 300 KB

2006

47

The First and Second Max-SAT Evaluations

Argelich, Josep, Li, Chu-Min, ManyÃ , Felip, Planes, Jordi, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 1.08 MB

2008

48

Combining Adaptive and Dynamic Local Search for Satisfiability

Nghia Pham, Duc, Thornton, John, Gretton, Charles, Sattar, Abdul, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 905 KB

2008